21. Verification of reactive systems
Author: / Klaus Schneider
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer systems -- Verification,Formal methods (computer science),Computer algorithms
Classification :
QA
76
.
76
.
V47S34
2004
22. Verification of reactive systems :
Author: Klaus Schneider.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer systems -- Verification.,Formal methods (Computer science)
Classification :
QA76
.
76
.
V47
K538
2004
23. Verification of reactive systems: formal methods and algorithms
Author: Schneider, Klaus
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer systems-- Verification,، Formal methods )Computer science(,، Computer algorithms
Classification :
QA
76
.
76
.
V47
.
S34
2003
24. Verification techniques for system-level design /
Author: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
Classification :
TK7895
.
E42
F95
2008eb
